Remove unused function from check script.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/check/check_python_devel b/tools/check/check_python_devel
index 8ac361624a06c212dd31448f6ff44da01aa5505c..d2f05368d26f260536b84faf45dcd60211a78ee7 100755 (executable)
--- a/tools/check/check_python_devel
+++ b/tools/check/check_python_devel
@@ -1,12 +1,6 @@
 #!/bin/sh
 # CHECK-BUILD
 
-function error {
-    echo
-    echo "  *** Check for python development environment FAILED"
-    exit 1
-}
-
 RC=0
 
 python -c '